🧮 Algebraic Effects - hello · Scour

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

💫Effect Systems

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

🔍Type Inference

The AI Productivity Paradox Is a Feedback Problem

therealitydrift.substack.com·17h·

Discuss: Substack

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·19h·

Discuss: Blogger

📐Linear Algebra

Elastic Net: The Mediator Who Said 'Let's Take the Best of Both Approaches'

dev.to·1h·

Discuss: DEV

⚡Polars Expression API

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·1d

⚛️Quantum Computing

Simulating Pots with LTSpice

hackaday.com·6h

🎲Deterministic Simulation

Jackpoint: control Claude via Matrix DMs

piszek.com·16h

Use of Assertions

blog.regehr.org·18h

Conversation: LLMs and the what/how loop

martinfowler.com·18h

⚙️Systems Programming

The Embodied Impact Of Large Language Models

bix.blog·9h

💬Prompt Engineering

Nonclassical symmetries of polynomial equations and test problems with parameters for computer algebra systems

arxiv.org·4h

🔢Numerical Methods

Simplifying complex ideas in sketches

sketchplanations.com·22h

💫Effect Systems

Stop Writing Prompts Like This: Better Claude Code Communication

logic-leap.co.uk·14h·

Discuss: DEV

💬Prompt Engineering

**Abstract:** This paper introduces a novel framework for automated discovery and verification of causal structures within complex dynamical systems, address...

freederia.com·3d

lesswrong.com·2d

💎Refinement Types

On the way to step functions: the two worlds

blog.julik.nl·2d

⏱️Temporal Workflow

Making a quiz program for CircuitPython & Circuit Playground questions

blog.adafruit.com·17h

🔢Reference Counting

Stop Overusing Interfaces (2017)

blog.hovland.xyz·19h·

Discuss: Hacker News

Calculus Made Easy

calculusmadeeasy.org·18h

📐Type Theory

Loading more...